$\forall$$r$:Rng. $r$$\downarrow$+gp $\in$ AbGrp